The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Marieke Huisman Books

Results for Marieke Huisman

Showing 1 to 7 of 7 results
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology) Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology) by

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology)

by


ISBN 13: 9783540336891

Format: Paperback (184 pages)
Publisher: Springer
Published: 18 Apr 2006

Save for later

 
New : $69.82  
New : $69.82
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings: 9681 (Lecture Notes in Computer Science) Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings: 9681 (Lecture Notes in Computer Science) by Erika Ábrahám,Marieke Huisman

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings: 9681 (Lecture Notes in Computer Science)

by Erika Ábrahám,Marieke Huisman


ISBN 13: 9783319336923

Format: Paperback (552 pages)
Publisher: Springer
Published: 24 May 2016

Save for later

 
New : $83.09  
New : $83.09
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science) Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science) by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... 11429 (Lecture Notes in Computer Science)

by Dirk Beyer,Marieke Huisman,Fabrice Kordon,Bernhard Steffen


ISBN 13: 9783030175016

Format: Paperback (288 pages)
Publisher: Springer
Published: 04 Apr 2019

Save for later

 
New : $53.96  
New : $53.96
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science) Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science) by Traian Muntean,Gilles Barthe,Jean-Louis Lanet,Lilian Burdy,Marieke Huisman

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science)

by Traian Muntean,Gilles Barthe,Jean-Louis Lanet,Lilian Burdy,Marieke Huisman


ISBN 13: 9783540242871

Format: Paperback (272 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $70.03  
New : $70.03
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems by Bernhard Steffen,Fabrice Kordon,Marieke Huisman

Tools and Algorithms for the Construction and Analysis of Systems

by Bernhard Steffen,Fabrice Kordon,Marieke Huisman


ISBN 13: 9781013271205

Format: Paperback (280 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

 
New : $46.57  
New : $46.57
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047) Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047) by Marieke Huisman,Corina Pasareanu,Naijun Zhan

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings: 13047 (Lecture Notes in Computer Science, 13047)

by Marieke Huisman,Corina Pasareanu,Naijun Zhan


ISBN 13: 9783030908690

Format: Paperback (817 pages)
Publisher: Springer
Published: 10 Nov 2021

Save for later

 
New : $117.01  
New : $117.01
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings: 13487 (Lecture Notes in Computer Science, 13487) Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings: 13487 (Lecture Notes in Computer Science, 13487) by Jan Friso Groote, Marieke Huisman

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings: 13487 (Lecture Notes in Computer Science, 13487)

by Jan Friso Groote, Marieke Huisman


ISBN 13: 9783031150074

Format: Paperback (255 pages)
Publisher: Springer
Published: 12 Aug 2022

Save for later

 
New : $65.43  
New : $65.43